Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)
by Cliff B. Jones
ISBN 13: 9780138807177
Format: Paperback (300 pages) Publisher: Longman Higher Education Published: Mar 1986
Save for later
Software Development: A Rigorous Approach (Prentice-Hall international series in computer science)
ISBN 13: 9780138218843
Format: Hardcover (400 pages) Publisher: Prentice Hall Published: 01 Jan 1980
Object Orientation with Parallelism and Persistence: 370 (The Springer International Series in Engineering and Computer Science)
by Cliff B. Jones, Burkhard Freitag, Christian Lengauer, Hans-Jörg Schek
ISBN 13: 9780792397700
Format: Hardcover (248 pages) Publisher: Springer Published: 30 Sep 1996
Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642008665
Format: Paperback (343 pages) Publisher: Springer Published: 26 Mar 2009
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540752905
Format: Paperback (483 pages) Publisher: Springer Published: 12 Sep 2007
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540752202
Format: Paperback (539 pages) Publisher: Springer Published: 06 Sep 2007
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
by Denis Besnard,Cristina Gacek,Cliff B. Jones
ISBN 13: 9781846281105
Format: Paperback (320 pages) Publisher: Springer Published: Jan 2006
Reflections on the Work of C.A.R. Hoare (History of Computing)
ISBN 13: 9781848829114
Format: Hardcover (452 pages) Publisher: Springer Published: 06 Sep 2010